1. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
Author: sponsored by ACM SIGPLAN & ACM SIGSOFT
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Debugging in computer science
Classification :
QA
76
.
9
.
D43A23
2005
2. Automated and algorithmic debuggin
Author: / Peter A. Fritzson (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Debugging in computer science--Congresses
Classification :
QA
,
76
.
9
,.
D43
,
I54
,
1993
4. Automated and algorithmic debugging :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Debugging in computer science ; Congresses ;
5. Automated and algorithmic debugging : first International Workshop, AADEBUG'93 , Linkنping, Sweden, May 3-5, 1993 : proceedings
Author: Peter A. Fritzson, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Debugging in computer science
Classification :
QA
76
.
L28
Vol
.
749
6. Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linkoping, Sweden, May 3-5, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Debugging in computer science-- Congresses
Classification :
QA
76
.
9
.
D43
.
I54
1993
7. B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Author: Didier Bert )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، B method )Computer science(,Congresses ، Debugging in computer science
Classification :
QA
76
.
L28
Vol
.
1393
8. Debugging techniques in large systems
Author: Courant Computer Science Symposium, 1st, 0791, New York
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Debugging in computer science-- Congresses
Classification :
QA
76
.
6
.
C67
1970
9. Debugging techniques in large systems
Author: / Edited by Randall Rustin
Library: Library of College of Science University of Tehran (Tehran)
Subject: Debugging in computer science -- Congresses
Classification :
QA
76
.
6
.
C67
1970
10. Proceedings
Author: International Conference on Reliable Software, 5791, Los Angeles
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Reliability-- Congresses,، Computer software-- Testing-- Congresses,، Debugging in computer science-- Congresses
Classification :
QA
76
.
6
.
I55
1975
11. Record
Author: IEEE Symposium on Computer Software Reliability
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programs-- Reliability-- Congresses,، Computer programs-- Testing-- Congresses,، Debugging in computer science-- Congresses
Classification :
QA
76
.
5
.
I22a
